home *** CD-ROM | disk | FTP | other *** search
/ MacHack 1994 / MacHack 1994.toast / MacHack™94 / Talks & Papers / Timothy Knox / Help / Help Files / Constraints / Lyndon-Johnson < prev    next >
Text File  |  1994-06-24  |  1KB  |  43 lines
  1. ;LYNDON*B=JOHNSON
  2. (c)
  3.  
  4. ;;;Variables
  5. ( r0 b n r1 o r2 r3 s d r4 h y l j)
  6.  
  7. ;;;Constraints
  8. ((=? (* n b) (+ n (* 10 r0)))
  9.  (=? (+ (* o b) r0) (+ o (* 10 r1)))
  10.  (=? (+ (* d b) r1) (+ s (* 10 r2)))
  11.  (=? (+ (* n b) r2) (+ n (* 10 r3)))
  12.  (=? (+ (* y b) r3) (+ h (* 10 r4)))
  13.  (=? (+ (* l b) r4) (+ o (* 10 j)))
  14.  (<>? l 0) (<>? b 0) (<>? j 0)
  15.  (<>? l y) (<>? l n) (<>? l d)
  16.  (<>? l o) (<>? l b) (<>? l j)
  17.  (<>? l h) (<>? l s) (<>? y n)
  18.  (<>? y d) (<>? y o) (<>? y b)
  19.  (<>? y j) (<>? y h) (<>? y s)
  20.  (<>? n d) (<>? n o) (<>? n b)
  21.  (<>? n j) (<>? n h) (<>? n s)
  22.  (<>? d o) (<>? d b) (<>? d j)
  23.  (<>? d h) (<>? d s) (<>? o b)
  24.  (<>? o j) (<>? o h) (<>? o s)
  25.  (<>? b j) (<>? b h) (<>? b s)
  26.  (<>? j h) (<>? j s) (<>? h s))
  27.  
  28. ;;;Domains
  29. ((0 1 2 3 4 5 6 7)
  30.  (0 1 2 3 4 5 6 7 8 9)
  31.  (0 1 2 3 4 5 6 7 8 9)
  32.  (0 1 2 3 4 5 6 7)
  33.  (0 1 2 3 4 5 6 7 8 9)
  34.  (0 1 2 3 4 5 6 7)
  35.  (0 1 2 3 4 5 6 7)
  36.  (0 1 2 3 4 5 6 7 8 9)
  37.  (0 1 2 3 4 5 6 7 8 9)
  38.  (0 1 2 3 4 5 6 7)
  39.  (0 1 2 3 4 5 6 7 8 9)
  40.  (0 1 2 3 4 5 6 7 8 9)
  41.  (0 1 2 3 4 5 6 7 8 9)
  42.  (0 1 2 3 4 5 6 7 8 9))
  43.